81. Formal approaches to software testing and runtime verification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ;
82. Formal approaches to software testing and runtime verification
پدیدآورنده: / Klaus Havelund ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses,Software testing,Runtime verification,FATES,RV
رده :
QA
,
76
.
9
,.
F67
,
F524
,
2006
83. Formal approaches to software testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
پدیدآورنده: Jens Grabowski, Brian Nielsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
3395
84. Foundations of software testing :
پدیدآورنده: Dorothy Graham [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Examinations, Study guides.,Computer software-- Testing-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Electronic data processing personnel-- Certification.
رده :
QA76
.
3
.
F68
2007eb
85. Getting started with Eclipse Juno
پدیدآورنده: Rodrigo Fraxino Araujo, Vinicius H.S. Durelli, Rafael M. Teixeira
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development,Application software-- Testing,Java (Computer program language)
رده :
QA76
.
76
.
A65
A73
2013
86. Growing object-oriented software :
پدیدآورنده: by Steve Freeman, Nat Pryce.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development.,Computer software-- Testing.,Object-oriented programming (Computer science),Computer software-- Development.,Computer software-- Development.,Computer software-- Testing.,Computer software-- Testing.,Object-oriented programming (Computer science),Object-oriented programming (Computer science)
رده :
QA76
.
64
.
F74
2009
87. Growing object-oriented software, guided by tests
پدیدآورنده: / Steve Freeman and Nat Pryce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Object-oriented programming (Computer science),Computer software--Testing
رده :
QA
,
76
.
64
,.
F747
,
2010
88. Guide to advanced software testing
پدیدآورنده: Hass, Anne Mette Jonassen.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Testing ، Computer software,Evaluation ، Computer software
رده :
QA
76
.
76
.
T48
H37
2008
89. Happy About global software test automation :
پدیدآورنده: by Hung Q. Nguyen, Michael Hackett, Brent K. Whitlock.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Testing-- Automation.,Datorprogram.,Tester.
رده :
QA76
.
76
.
T48
N48
2006
90. How Google tests software /
پدیدآورنده: James Whittaker, Jason Arbon, Jeff Carollo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Google (Firm)-- Data processing.,Cloud computing-- Testing.,Computer software-- Testing.
رده :
QA76
.
76
.
T48
W475
2012
91. How to break software security: effective techniques for security testing
پدیدآورنده: Whittaker, James A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computer security,Testing ، Computer software,Reliability ، Computer software
رده :
QA
76
.
9
.
A25
W48
2004
92. How to reduce the cost of software testing
پدیدآورنده: edited by Matthew Heusser and Govind Kulkarni
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Computer software, Testing,Computer software, Costs
رده :
QA
76
,.
76
.
H6
2012
93. How we test software at Microsoft /
پدیدآورنده: Alan Page, Ken Johnston, Bj Rollison.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Microsoft Corporation.,Microsoft Corporation.,Microsoft Corporation.,Computer software-- Testing, Case studies.,Computer software-- Testing.,Computer Science.,Computer software-- Testing-- Case studies.,Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Engineering & Applied Sciences.,Software.,Test
رده :
QA76
.
76
.
T48
P34
2009
94. IEEE guide for software quality assurance planning
پدیدآورنده: / sponsor, Software Engineering Standards Committee of the IEEE Computer Society
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programs--Quality control,Computer programs--Testing,Software engineering--Standards,Computer software--Quality control--Standards
95. IEEE guide for software quality assurance planning
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programs ; Quality control. ; Computer programs ; Testing. ; Software engineering ; Standards. ; Computer software ; Quality control ; Standards. ;
96. Identifying relevant information for testing technique selection
پدیدآورنده: / by Sira Vegas, Natalia Juristo, Victor R. Basili
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Testing
رده :
QA
,
76
.
76
,.
T48
,
V43
,
2003
97. Identifying relevant information for testing technique selection
پدیدآورنده: / by Sira Vegas, Natalia Juristo, Victor R. Basili
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer software- Testing
رده :
QA76
.
76
.
T48
,
V43
2003
98. Identifying relevant information for testing technique selection :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Testing ;
99. Improving software testing : technical and organizational developments
پدیدآورنده: Majchrzak, Tim A.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Testing ، Computer software
رده :
QA
76
.
76
.
T48
M346
2012
100. Improving the test process
پدیدآورنده: Graham Bath, Erik van Veenendaal
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Testing-- Examinations, Study guides,Electronic data processing personnel-- Certification
رده :
QA76
.
76
.
T48
B376
2014
